Search Results
Talking Tactics in LeanProver vs Understanding Proofs in Agda with Conal Elliott
ReProving Agda in LeanProver and comparing with Coq
The Essence & Origins of Functional Reactive Programming • Conal Elliott • YOW! 2015
Exploring Denotational Design through the lens of computer imagery
PLUG: Emacs for Note-taking - Benjamin Dunstan, October 2023
